First step opts second step opts reduced equation                  similarity variable

or or

Cannot be obtained explicit reduction

Cannot be obtained explicit reduction

or Cannot be obtained explicit reduction

Cannot be obtained explicit reduction

Cannot be obtained explicit reduction

Cannot be obtained explicit reduction

or

Cannot be obtained explicit reduction

o r